Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science)
by Mario Rodriguez-Artalejo,J??rg Flum
ISBN 13: 9783540665366
Format: Paperback (600 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings: 1139 (Lecture Notes in Computer Science)
by Michael Hanus,Mario Rodriguez-Artalejo
ISBN 13: 9783540617358
Format: Paperback (360 pages) Publisher: Springer Published: 13 Jun 2008